細い紐の上でのみ左右に動ける世界を想像してみてください。これが実数軸の世界です。もし上に跳びたいと思っても、紐はその重さを支えることができません。ここで導入されるのが複素数あなたの世界に新たな次元を加えるようなものです。形式 $z = a + bi$ の各複素数は、もはや数直線上の一点ではなく、平面における座標 $(a, b)$ あるいは原点から発するベクトルとして捉えられます。この「数」と「形」の完璧な対応は、数学史上最大の飛躍の一つと言えるでしょう。
複素数の代数的定義と幾何的対応
必修第2巻では、複素数の体系について学びました。複素数は実部および虚部で構成され、標準的な代数的表現は $z = a + bi$ （$a, b \in \mathbb{R}$）です。
複素数を直感的に理解するために、複素平面：
- 実軸：$x$ 軸に対応し、複素数の実部を表します。
- 虚軸：$y$ 軸に対応し、複素数の虚部を表します。
- 点と複素数：複素数 $z = a + bi$ と点 $Z(a, b)$ は一対一の対応関係にあります。
- ベクトルと複素数：複素数 $z = a + bi$ と平面ベクトル $\vec{OZ}$ は一対一の対応関係にあります。
複素数の絶対値 $|z| = \sqrt{a^2 + b^2}$ は、複素平面において点 $Z$ から原点までの距離を意味します。また $|z_1 - z_2|$ は、2点間の距離を表します。
$$z = a + bi \iff Z(a, b) \iff \vec{OZ}$$
1. 多項式の項を収集する：$x^2$ の正方形が1つ、$x$ の長方形が3つ、$1\times1$ の単位正方形が2つ。
2. それらを幾何的に組み合わせ始めます。
3. 完全に大きな連続した長方形が形成されました！幅は $(x+2)$、高さは $(x+1)$ です。
問題 1
複素平面上で、$O$ は原点であり、ベクトル $\vec{OA}$ に対応する複素数は $2+i$ です。点 $A$ が実軸に関して対称な点 $B$ であるとき、ベクトル $\vec{OB}$ に対応する複素数を求めなさい。
$2-i$
$-2+i$
$-2-i$
$1+2i$
正解です！
解説：点 $A$ 的坐标为 $(2, 1)$。关于实轴（$x$ 轴）对称，意味着横坐标不变，纵坐标变号。因此点 $B$ 的坐标为 $(2, -1)$，对应的复数为 $2-i$。这也正是 $2+i$ 的共轭复数。
不正解
ヒント： 実軸に関して対称であるということは、複素数の虚部（つまり $y$ 座標）が逆数になることを意味します。
問題 2
前問に続いて、点 $B$ が虚軸に関して対称な点 $C$ であるとき、点 $C$ に対応する複素数を求めなさい。
$2+i$
$-2-i$
$-2+i$
$2-i$
正解です！
解説：点 $B$ の座標は $(2, -1)$ です。虚軸（$y$ 軸）に関して対称であるということは、縦座標は変わらず、横座標だけ符号が反転することを意味します。したがって点 $C$ の座標は $(-2, -1)$ となり、対応する複素数は $-2-i$ です。
不正解
ヒント： 虚軸に関して対称であるということは、複素数の実部（つまり $x$ 座標）が逆数になることを意味します。
問題 3
複素数 $z$ の実部が正数で、虚部が $3$ であるとき、複素平面上で複素数 $z$ に対応する点はどのような図形上に位置しますか？
第一象限内の半直線
虚軸上の線分
第一象限全体
実軸上方の直線
正解です！
解説：設 $z = x + 3i$ とします。題意より $x > 0$ であり、虚部 $y = 3$（一定）です。複素平面上では、これは座標 $(x, 3)$ に対応し、$x > 0$ を満たす点です。これは実軸に平行で第一象限内にある半直線です。
不正解
ヒント： 虚部が $3$ に固定されているということは縦座標が変わらないことを意味し、実部が正数であるということは横座標が右側に無限に伸びることを意味します。
問題 4
複素数の演算結果を計算してください：$(-3-4i) + (2+i) - (1-5i)$。
$-2+2i$
$-2-8i$
$0$
$-4+2i$
正解です！
解説：実部と虚部をそれぞれまとめる：
実部：$-3 + 2 - 1 = -2$
虚部：$(-4 + 1 - (-5))i = (-4 + 1 + 5)i = 2i$
結果は $-2 + 2i$ です。
実部：$-3 + 2 - 1 = -2$
虚部：$(-4 + 1 - (-5))i = (-4 + 1 + 5)i = 2i$
結果は $-2 + 2i$ です。
不正解
ヒント： すべての実数の和とすべての虚部係数の和を別々に計算してください。負の数から引くことは、正の数を足すことと同じであることに注意してください。
問題 5
複素数 $z$ の虚部が $\sqrt{3}$ であり、複素平面上で $z$ に対応するベクトルの大きさが $2$ であるとき、この複素数 $z$ を求めなさい。
$1 + \sqrt{3}i$ または $-1 + \sqrt{3}i$
$1 + \sqrt{3}i$
$\pm 1 - \sqrt{3}i$
$\sqrt{7} + \sqrt{3}i$
正解です！
解説：設 $z = a + \sqrt{3}i$ とします。モジュールの定義より：$|z| = \sqrt{a^2 + (\sqrt{3})^2} = 2$。
2乗すると：$a^2 + 3 = 4 \implies a^2 = 1 \implies a = \pm 1$。
したがって $z = 1 + \sqrt{3}i$ または $z = -1 + \sqrt{3}i$ です。
2乗すると：$a^2 + 3 = 4 \implies a^2 = 1 \implies a = \pm 1$。
したがって $z = 1 + \sqrt{3}i$ または $z = -1 + \sqrt{3}i$ です。
不正解
ヒント： モジュールの公式 $|z| = \sqrt{a^2+b^2}$ を使って、$b = \sqrt{3}$ かつ $|z|=2$ を用いて $a$ を求めます。
問題 6
複素数 $(a+bi)$ と $(c+di)$ の積が実数となるための必要十分条件は：
$ad+bc=0$
$ac+bd=0$
$ac=bd$
$ad=bc$
正解です！
解説：$(a+bi)(c+di) = (ac-bd) + (ad+bc)i$。積が実数であるならば、虚部はゼロでなければなりません。つまり $ad+bc=0$ です。
不正解
ヒント： 乗法 $(a+bi)(c+di)$ を展開し、$i$ の係数（虚部）が $0$ になる条件を探しなさい。
問題 7
複素数集合 $\mathbb{C}$ において方程式 $4x^2+9=0$ を解きなさい。
$x = \pm \frac{3}{2}i$
$x = \pm \frac{9}{4}i$
$x = \frac{3}{2}i$
解なし
正解です！
解説：$4x^2 = -9 \implies x^2 = -\frac{9}{4}$。複素数範囲では負の数も平方根が取れます：$x = \pm \sqrt{-\frac{9}{4}} = \pm \sqrt{\frac{9}{4}} \cdot i = \pm \frac{3}{2}i$。
不正解
ヒント： 方程变为 $x^2 = -\frac{9}{4}$。利用虚数单位 $i^2 = -1$ 来解方程。
問題 8
複素数 $z$ の絶対値が $5$ で、虚部が $-4$ であるとき、複素数 $z$ はどれですか？
$3-4i$ または $-3-4i$
$3-4i$
$\pm 3 + 4i$
$\pm 9 - 4i$
正解です！
解説：設 $z = a - 4i$ とします。$|z| = \sqrt{a^2 + (-4)^2} = 5 \implies a^2 + 16 = 25 \implies a^2 = 9 \implies a = \pm 3$。よって $z = 3-4i$ または $z = -3-4i$ です。
不正解
ヒント： モジュールの公式 $|z|^2 = a^2 + b^2$ に代入し、$b = -4$ に注意してください。
問題 9
複素平面上の2つの複素数 $z_1=8+5i$ と $z_2=4+2i$ に対応する2点間の距離を求めなさい。
$5$
$\sqrt{13}$
$25$
$7$
正解です！
解説：距離 $d = |z_1 - z_2| = |(8-4) + (5-2)i| = |4+3i|$。モジュールを計算すると $d = \sqrt{4^2 + 3^2} = \sqrt{16+9} = 5$ です。
不正解
ヒント： 距離は2つの複素数の差のモジュールに等しく、すなわち $|z_1 - z_2|$ です。
チャレンジ：軌跡の謎
複素数のモジュールの幾何的意味の総合的応用
複素平面上で、動点 $Z$ に対応する複素数が $z$ であるとします。$z$ が以下の条件を満たすとき、その軌跡を分析しなさい：
$|z - 1| = |z - i|$
Q1
幾何学的に見ると、$|z - 1|$ と $|z - i|$ はそれぞれ何を表しますか？
解説：
複素数のモジュールの幾何学的意味に基づいて：
1. $|z - 1|$ は動点 $Z$ から定点 $A(1, 0)$ までの距離を表します。
2. $|z - i|$ は動点 $Z$ から定点 $B(0, 1)$ までの距離を表します。
方程式 $|z - 1| = |z - i|$ は、点 $Z$ が2つの定点 $A, B$ までの距離が等しいことを表します。
複素数のモジュールの幾何学的意味に基づいて：
1. $|z - 1|$ は動点 $Z$ から定点 $A(1, 0)$ までの距離を表します。
2. $|z - i|$ は動点 $Z$ から定点 $B(0, 1)$ までの距離を表します。
方程式 $|z - 1| = |z - i|$ は、点 $Z$ が2つの定点 $A, B$ までの距離が等しいことを表します。
Q2
Q1 の幾何学的意味に基づいて、点 $Z$ の軌跡は何の図形になりますか？
解説：
2つの定点までの距離が等しい点の軌跡はこの2点を結ぶ線分の垂直二等分線です。複素平面上では、点 $A(1, 0)$ と $B(0, 1)$ の垂直二等分線はまさに直線 $y = x$ です。
2つの定点までの距離が等しい点の軌跡はこの2点を結ぶ線分の垂直二等分線です。複素平面上では、点 $A(1, 0)$ と $B(0, 1)$ の垂直二等分線はまさに直線 $y = x$ です。
Q3
代数的手法を使って証明してみましょう：$z = x + yi$ とおき、元の方程式に代入して簡略化します。
詳細な導出：
設 $z = x + yi$ （$x, y \in \mathbb{R}$）とすると：
$| (x-1) + yi | = | x + (y-1)i |$
$\sqrt{(x-1)^2 + y^2} = \sqrt{x^2 + (y-1)^2}$
両辺を2乗：
$x^2 - 2x + 1 + y^2 = x^2 + y^2 - 2y + 1$
整理すると：$-2x = -2y \implies y = x$。
これにより、軌跡が第一象限と第三象限の角の二等分線であることが確認されました。
設 $z = x + yi$ （$x, y \in \mathbb{R}$）とすると：
$| (x-1) + yi | = | x + (y-1)i |$
$\sqrt{(x-1)^2 + y^2} = \sqrt{x^2 + (y-1)^2}$
両辺を2乗：
$x^2 - 2x + 1 + y^2 = x^2 + y^2 - 2y + 1$
整理すると：$-2x = -2y \implies y = x$。
これにより、軌跡が第一象限と第三象限の角の二等分線であることが確認されました。
✨ キーポイント
虚数単位 $i$、$i^2$ は $-1$。実部は横方向に進み、虚部は上に飛び上がる。モジュールはピタゴラスの定理、2点間の距離は減算によって得られる。代数と幾何は一体、複素平面は美しくて絵画のよう！
💡 虚部は $bi$ ではない
これは非常に間違いやすいポイントです。複素数 $a+bi$ の虚部は実数 $b$ であり、$bi$ ではありません。例えば $3+4i$ の虚部は $4$ です。
💡 複素数は大小比較できない
実数は数直線上で大小を比較できますが、複素数（実数以外）同士では大小を比較できません。$2+i > 1+i$ とは言えませんが、それらの「モジュール」（距離）は大小を比較できます。
💡 純虚数の判定
複素数 $z=a+bi$ が純虚数であるためには、2つの条件を満たす必要があります：$a=0$ かつ $b \neq 0$。もし $b$ も $0$ であれば、それは実数 $0$ です。
💡 共役複素数の幾何的対称性
複素数 $z$ とその共役複素数 $\bar{z}$ は複素平面上で実軸に関して対称です。また、$z$ と $-z$ は原点に関して対称です。
💡 距離公式の柔軟な使い方
$|z - z_0| = r$ は複素平面上で $z_0$ を中心とする半径 $r$ の円を表します。これは複素数の軌跡問題を解くための核心です。